Fix long-standing save/restore bug on x86-64.
authorsmh22@firebug.cl.cam.ac.uk <smh22@firebug.cl.cam.ac.uk>
Thu, 6 Apr 2006 15:15:28 +0000 (16:15 +0100)
committersmh22@firebug.cl.cam.ac.uk <smh22@firebug.cl.cam.ac.uk>
Thu, 6 Apr 2006 15:15:28 +0000 (16:15 +0100)
commit9444c07bdb26be151c6566fd703fa3b5c403e8d4
treecb367b6ab42fce15b5a132496a98816c4e9e2ec2
parentdeecd6adc0193e8d10881e366156885f918e150b
Fix long-standing save/restore bug on x86-64.

Signed-off-by: Steven Hand <steven@xensource.com>
linux-2.6-xen-sparse/drivers/xen/core/reboot.c